A Separation

Results: 1870



#Item
121A Fresh Look at Separation Algebras and Share Accounting? Robert Dockins1 , Aquinas Hobor2 , and Andrew W. Appel1 1 2

A Fresh Look at Separation Algebras and Share Accounting? Robert Dockins1 , Aquinas Hobor2 , and Andrew W. Appel1 1 2

Add to Reading List

Source URL: rwd.rdockins.name

Language: English - Date: 2015-10-04 14:40:34
    122MITSUBISHI ELECTRIC RESEARCH LABORATORIES http://www.merl.com Depth-weighted group-wise principal component analysis for foreground/background separation Tian, D.; Mansour, H.; Vetro, A.

    MITSUBISHI ELECTRIC RESEARCH LABORATORIES http://www.merl.com Depth-weighted group-wise principal component analysis for foreground/background separation Tian, D.; Mansour, H.; Vetro, A.

    Add to Reading List

    Source URL: www.merl.com

    Language: English - Date: 2015-09-29 08:52:22
      123San Mateo County Measure A Grade Separation Program The San Mateo County Measure A grade separation program provides funding for the construction or upgrade of vehicular overpasses and underpasses along the

      San Mateo County Measure A Grade Separation Program The San Mateo County Measure A grade separation program provides funding for the construction or upgrade of vehicular overpasses and underpasses along the

      Add to Reading List

      Source URL: www.smcta.com

      Language: English - Date: 2015-03-11 19:08:17
        124Detecting Separation in Robotic and Sensor Networks Chenda Liaoa , Harshavardhan Chenjib , Prabir Barooaha, Radu Stolerub , Tam´as Kalm´ar-Nagyc a Dept. arXiv:1102.3396v1 [cs.RO] 16 Feb 2011

        Detecting Separation in Robotic and Sensor Networks Chenda Liaoa , Harshavardhan Chenjib , Prabir Barooaha, Radu Stolerub , Tam´as Kalm´ar-Nagyc a Dept. arXiv:1102.3396v1 [cs.RO] 16 Feb 2011

        Add to Reading List

        Source URL: faculty.cs.tamu.edu

        Language: English - Date: 2012-01-29 02:19:57
          125Total Internal Reflection Microscopy TIRM is a optical technique for monitoring the instantaneous separation distance between a microscopic sphere and a flat plate. Changes in distance as small as 1 nm can be detected. T

          Total Internal Reflection Microscopy TIRM is a optical technique for monitoring the instantaneous separation distance between a microscopic sphere and a flat plate. Changes in distance as small as 1 nm can be detected. T

          Add to Reading List

          Source URL: www.softmat.mat.ethz.ch

          Language: English - Date: 2016-03-06 11:11:19
            126http://www.cs.ucsb.edu/~sherwood/RCsec/ A 3-Pronged Approach to Adaptive Security and Separation in Reconfigurable Hardware Blurring the line between software and hardware, reconfigurable devices strive to strike a bala

            http://www.cs.ucsb.edu/~sherwood/RCsec/ A 3-Pronged Approach to Adaptive Security and Separation in Reconfigurable Hardware Blurring the line between software and hardware, reconfigurable devices strive to strike a bala

            Add to Reading List

            Source URL: www.cisr.us

            Language: English - Date: 2007-11-15 12:21:20
              127VisualizeSLE: A Visual Editor for Separation Logic Entailments Aquinas Hobor, Soe Lin Myat, and Bimlesh Wadhwa National University of Singapore Proposal. Separation logic has seen widespread use in program verification,

              VisualizeSLE: A Visual Editor for Separation Logic Entailments Aquinas Hobor, Soe Lin Myat, and Bimlesh Wadhwa National University of Singapore Proposal. Separation logic has seen widespread use in program verification,

              Add to Reading List

              Source URL: www.comp.nus.edu.sg

              Language: English - Date: 2012-10-05 06:23:45
                128VisualizeSLE A Visual Editor for Separation Logic Entailments Aquinas Hobor, Soe Lin Myat, and Bimlesh Wadhwa School of Computing National University of Singapore

                VisualizeSLE A Visual Editor for Separation Logic Entailments Aquinas Hobor, Soe Lin Myat, and Bimlesh Wadhwa School of Computing National University of Singapore

                Add to Reading List

                Source URL: www.comp.nus.edu.sg

                Language: English - Date: 2012-11-19 06:03:34
                  129Grade Separation Funding Strategy: A Blueprint for Advancing Projects

                  Grade Separation Funding Strategy: A Blueprint for Advancing Projects

                  Add to Reading List

                  Source URL: rctc.org

                  Language: English - Date: 2012-07-18 20:08:41
                    130Verification of a Cryptographic Primitive: SHA-256 ANDREW W. APPEL, Princeton University A full formal machine-checked verification of a C program: the OpenSSL implementation of SHA-256. This is an interactive proof of f

                    Verification of a Cryptographic Primitive: SHA-256 ANDREW W. APPEL, Princeton University A full formal machine-checked verification of a C program: the OpenSSL implementation of SHA-256. This is an interactive proof of f

                    Add to Reading List

                    Source URL: www.cs.princeton.edu

                    Language: English - Date: 2014-12-23 10:16:22